Representation of activity knowledge for project managmentSATHI, A; FOX, M. S; GREENBERG, M et al.IEEE transactions on pattern analysis and machine intelligence. 1985, Vol 7, Num 6, pp 531-556, issn 0162-8828Article

Knowledge Representation and Orthophemism: A Reflection Aiming to a ConceptOLIVEIRA MILANI, Suellen; ASSIS PINHO, Fabio.Knowledge organization. 2012, Vol 39, Num 5, pp 384-393, issn 0943-7444, 10 p.Conference Paper

CST studies in terminology knowledge representationSHELOV, S. D; KRYUKOV, Y. I.International congress on terminology and knowledge engineering. 1996, pp 55-58, isbn 3-88672-207-4Conference Paper

Notes on A clash of intuitionsNEUFELD, E.Artificial intelligence. 1991, Vol 48, Num 2, pp 225-240, issn 0004-3702, 16 p.Article

Searching while keeping a trace : The evolution from satisfiability to knowledge compilationDARWICHE, Adnan.Lecture notes in computer science. 2006, pp 4-20, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 17 p.Conference Paper

A linearly complex model for knowledge representationSARBO, Janos; FARKAS, Jozsef.Lecture notes in computer science. 2002, pp 20-33, issn 0302-9743, isbn 3-540-43901-3, 14 p.Conference Paper

Extending SNePSwD with permissive belief revisionPIMENTEL, César F; CRAVO, Maria R.Lecture notes in computer science. 2002, pp 271-284, issn 0302-9743, isbn 3-540-43901-3, 14 p.Conference Paper

Positive nested conceptual graphsCHEIN, M; MUGNIER, M.-L.Lecture notes in computer science. 1997, pp 95-109, issn 0302-9743, isbn 3-540-63308-1Conference Paper

Some challenges for a computational theory of imageryTVERSKY, B.Computational intelligence. 1993, Vol 9, Num 4, pp 362-365, issn 0824-7935Article

Intentional possibilistic approach to dealing with incompleteness, vagueness and uncertaintyDOWLATSHAHI, F; KOHOUT, L. J.Fuzzy sets and systems. 1988, Vol 25, Num 3, pp 277-295, issn 0165-0114Article

Maschinelles Lernen = Apprentissage automatique = Machine learningDEVINNEY, E. J; HECHT, A; REMMLE, W et al.Siemens Forschungs- und Entwicklungsberichte. 1988, Vol 17, Num 2, pp 69-73, issn 0370-9736Article

Active comparison as a means of promoting the development of abstract conditional knowledge and appropriate choice of diagrams in math word problem solvingUESAKA, Yuri; MANALO, Emmanuel.Lecture notes in computer science. 2006, pp 181-195, issn 0302-9743, isbn 3-540-35623-1, 1Vol, 15 p.Conference Paper

On anytime coherence-based reasoningKORICHE, Frédéric.Lecture notes in computer science. 2001, pp 556-567, issn 0302-9743, isbn 3-540-42464-4Conference Paper

Is PL₂ a tractable language?VITORIA, A; MAMEDE, M.Lecture notes in computer science. 1999, pp 90-98, issn 0302-9743, isbn 3-540-66548-XConference Paper

Contexts: A formal definition of worlds of assertionsMINEAU, G. W; GERBE, O.Lecture notes in computer science. 1997, pp 80-94, issn 0302-9743, isbn 3-540-63308-1Conference Paper

Concept structure of terminology and knowledge representation procedureSHELOV, S. D.International congress on terminology and knowledge engineering. 1996, pp 233-237, isbn 3-88672-207-4Conference Paper

Parallel inference in knowledge representation modelsVAGIN, V. N; YEREMEYEV, A. P.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 184-188, isbn 2-9510266-1-7Conference Paper

Interval arithmetic approach to qualitative physics: static systemsI-CHEN CHANG; CHENG-CHING YU; CHING-TIEN LIOU et al.International journal of intelligent systems. 1993, Vol 8, Num 3, pp 405-430, issn 0884-8173Article

What kind of thing is a concept?KAYSER, D.Computational intelligence. 1988, Vol 4, Num 2, pp 158-165, issn 0824-7935Article

Utilisation des modèles de logiques intentionnelles lors de la description de connaissancesMIGUNOV, A. I.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1988, Num 5, pp 86-95, issn 0002-3388Article

The logic of geometric proofROOD, Ron.Lecture notes in computer science. 2006, pp 221-225, issn 0302-9743, isbn 3-540-35623-1, 1Vol, 5 p.Conference Paper

Revision programs with explicit negationYISONG WANG; MINGYI ZHANG.Lecture notes in computer science. 2005, pp 403-414, issn 0302-9743, isbn 3-540-25304-1, 12 p.Conference Paper

General preferential entailments as circumscriptionsMOINARD, Yves.Lecture notes in computer science. 2001, pp 532-543, issn 0302-9743, isbn 3-540-42464-4Conference Paper

Intelligence artificielle appliquée à l'automatique = Artificial intelligence applied to the automaticsGENTIL, Sylviane.Techniques de l'ingénieur. Informatique industrielle. 1997, Vol S1, Num R7215, pp R7215.1-R7215.17, issn 1632-3831Article

A prototypal system for data-validationBALDERI, A; SOLIMANO, M.Lecture notes in computer science. 1997, pp 431-434, issn 0302-9743, isbn 3-540-63576-9Conference Paper